Puri Arenas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Closed-Form Upper Bounds in Static Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 866 KB

english, 2011

2

Cost Relation Systems: A Language-Independent Target Language for Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 359 KB

english, 2009

3

Handling Non-linear Operations in the Value Analysis of COSTA

Diego Alonso, Puri Arenas, Samir Genaim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 274 KB

english, 2011

4

Preface

Puri Arenas, Víctor M. Gulías

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 106 KB

english, 2012

5

Does Carcinus maenas facilitate the invasion of Xenostrobus securis?

Puri Veiga, Marcos Rubal, Francisco Arenas, Mónica Incera, Celia Olabarria, Isabel Sousa-Pinto

Journal:

Journal of Experimental Marine Biology and Ecology

Year:

2011

Language:

english

File:

PDF, 305 KB

english, 2011

6

Cost analysis of object-oriented bytecode programs

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 470 KB

english, 2012

7

Response of macroalgal assemblages from rockpools to climate change: effects of persistent increase in temperature and CO 2

Olabarria, Celia, Arenas, Francisco, Viejo, Rosa M., Gestoso, Ignacio, Vaz-Pinto, Fátima, Incera, Mónica, Rubal, Marcos, Cacabelos, Eva, Veiga, Puri, Sobrino, Cristina

Journal:

Year:

2013

Language:

english

File:

PDF, 1.31 MB

english, 2013

8

Shifts from native to non-indigenous mussels: Enhanced habitat complexity and its effects on faunal assemblages

Gestoso, Ignacio, Arenas, Francisco, Rubal, Marcos, Veiga, Puri, Peña, Miriam, Olabarria, Celia

Journal:

Marine Environmental Research

Year:

2013

Language:

english

File:

PDF, 744 KB

english, 2013

9

Conditional termination of loops over heap-allocated data

Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán, Román-Díez, Guillermo

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1004 KB

english, 2014

10

Certificate size reduction in abstraction-carrying code

ALBERT, ELVIRA, ARENAS, PURI, PUEBLA, GERMÁN, HERMENEGILDO, MANUEL

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 469 KB

english, 2012

11

Task-level analysis for a language with async/finish parallelism

Albert, Elvira, Arenas, Puri, Genaim, Samir, Zanardini, Damiano

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 553 KB

english, 2011

12

[ACM Press the 2011 SIGPLAN/SIGBED conference - Chicago, IL, USA (2011.04.11-2011.04.14)] Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11 - Task-level analysis for a language with async/finish parallelism

Albert, Elvira, Arenas, Puri, Genaim, Samir, Zanardini, Damiano

Year:

2011

Language:

english

File:

PDF, 553 KB

english, 2011

13

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - COSTABS

Albert, Elvira, Arenas, Puri, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán

Year:

2012

Language:

english

File:

PDF, 363 KB

english, 2012

14

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - aPET: a test case generation tool for concurrent objects

Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel, Wong, Peter Y. H.

Year:

2013

Language:

english

File:

PDF, 296 KB

english, 2013

15

A practical comparator of cost functions and its applications

Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 689 KB

english, 2015

16

Object-sensitive cost analysis for concurrent objects

Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 4.66 MB

english, 2015

17

[ACM Press the 18th International Symposium - Edinburgh, United Kingdom (2016.09.05-2016.09.07)] Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16 - Testing of concurrent and imperative software using CLP

Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel

Year:

2016

Language:

english

File:

PDF, 643 KB

english, 2016

18

Systematic testing of actor systems

Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel

Journal:

Software Testing, Verification and Reliability

Year:

2018

Language:

english

File:

PDF, 1.68 MB

english, 2018